Search results for " Lindenbaum-Tarski algebra"

showing 1 items of 1 documents

On the History of Differentiable Manifolds

2012

International audience; We discuss central aspects of history of the concept of an affine dif-ferentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

implicit functionWhitney's theoremprinciple of virtual worksMathematics::History and Overviewrigiddifferentiable manifold implicit function semantics Lindenbaum-Tarski algebraLindenbaum-Tarski algebra[MATH.MATH-LO]Mathematics [math]/Logic [math.LO][MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG][MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO][MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO][MATH.MATH-LO] Mathematics [math]/Logic [math.LO][MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]semanticssyntaxdesignatordifferentiable manifold
researchProduct